Feeds to Scour
SubscribedAll
Scoured 8657 posts in 75.2 ms
An attempt at a First-Proof AI challenge
abhvio.us·19h·
Discuss: Hacker News
⏱️Computational Complexity
How I Built My Project in Haskell
dev.to·1d·
Discuss: DEV
λFunctional Programming
Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
news.ycombinator.com·2h·
Discuss: Hacker News
🔢Algebraic Data Types
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.com·9h·
Discuss: Hacker News
🧩Parser Combinators
Error bounds, PL condition, and quadratic growth for weakly convex functions, and linear convergences of proximal point methods
arxiv.org·4d
λFunctional Programming
Railway Oriented Programming
fsharpforfunandprofit.com·2d·
Discuss: Hacker News
📦Module Systems
Agentic Proof-Oriented Programming
risemsr.github.io·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Oatmeal - Constraint propagation for fun
eli.li·1d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·1d·
Discuss: Hacker News, r/Compilers
🔧ppx
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·1d·
Discuss: r/node, r/reactjs
🔧ppx
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·3d
🔀OCaml Multicore
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·21h·
Discuss: DEV
🧠Automated Reasoning
Long-Sought Proof Tames Some of Math’s Unruliest Equations
quantamagazine.org·2d·
Discuss: Hacker News, Hacker News
📝Term Rewriting
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·3d·
Discuss: Hacker News
🔄Finite State Machines
Continual learning and the post monolith AI era
baseten.co·2d·
Discuss: Hacker News
📚Automata Learning
First Proof | Research-Level Math for AI Evaluation
1stproof.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The Agentic Inversion Principle
mikebrevoort.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Type Variance
en.wikipedia.org·2d·
Discuss: Hacker News
🎯GADT
Waterloo Style
theprogrammersparadox.blogspot.com·2d·
Discuss: Hacker News
🔬Static Analysis

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help